Montrer que toute matrice symétrique définie positive est le carré d'une matrice symétrique positive.
On a la décomposition de diagonalisation.

\(D\) est diagonale, donc on peut facilement trouver une racine carrée.

Remplacer \(D\) par \(\sqrt D\) dans la décomposition fonctionnne \(\to\) le vérifier.
